Infini et impossible! = Infinite and impossibleDELAHAYE, Jean-Paul.Pour la science (Imprimé). 2011, Num 403, pp 88-93, issn 0153-4092, 6 p.Article

Georg Cantor, et les infinis furent = Georg Cantor and the infinites wereNOWAK, Mathieu.La Recherche (Imprimé). 2009, Num 428, pp 48-51, issn 0029-5671, 4 p.Article

On infinite Steiner systemsGRANNELL, M. J; GRIGGS, T. S; PHELAN, J. S et al.Discrete mathematics. 1991, Vol 97, Num 1-3, pp 199-202, issn 0012-365XArticle

Formal verification of infinite state systems using boolean methodsBRYANT, Randal E.Lecture notes in computer science. 2006, pp 1-3, issn 0302-9743, isbn 3-540-36834-5, 1Vol, 3 p.Conference Paper

On the diffusive nature of entropy flow in infinite systems : remarks to a paper by Guo-Papanicolau-VaradhanFRITZ, J.Communications in mathematical physics. 1990, Vol 133, Num 2, pp 331-352, issn 0010-3616Article

The UCLID decision procedureLAHIRI, Shuvendu K; SESHIA, Sanjit A.Lecture notes in computer science. 2004, pp 475-478, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

Binary patterns in infinite binary wordsRESTIVO, Antonio; SALEMI, Sergio.Formal and natural computing-eessays dedicated to Grzegorz Rozenberg. Lecture notes in computer science. 2002, pp 107-116, issn 0302-9743, isbn 3-540-43190-XBook Chapter

Solving the linear quadratic optimal control problem for infinite-dimensional systemsGRAD, J. R; MORRIS, K. A.Computers & mathematics with applications (1987). 1996, Vol 32, Num 9, pp 99-119, issn 0898-1221Article

On a problem of Stein concerning infinite coversVANDEN EYNDEN, C.The American mathematical monthly. 1992, Vol 99, Num 4, pp 355-358, issn 0002-9890Article

A slow growing analogue to Buchhol' proofARAI, T.Annals of pure and applied logic. 1991, Vol 54, Num 2, pp 101-120, issn 0168-0072Article

Concurrence for infinite-dimensional quantum systemsYU GUO; JINCHUAN HOU; YUNCAI WANG et al.Quantum information processing (Print). 2013, Vol 12, Num 8, pp 2641-2653, issn 1570-0755, 13 p.Article

Deciding monotonic gamesPAROSH AZIZ ABDULLA; BOUAJJANI, Ahmed; D'ORSO, Julien et al.Lecture notes in computer science. 2003, pp 1-14, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Do we need liveness? Approximation of liveness properties by safety propertiesULTES-NITSCHE, Ulrich.Lecture notes in computer science. 2002, pp 279-287, issn 0302-9743, isbn 3-540-00145-X, 9 p.Conference Paper

Languages, rewriting systems, and verification of infinite-state systemsBOUAJJANI, Ahmed.Lecture notes in computer science. 2001, pp 24-39, issn 0302-9743, isbn 3-540-42287-0Conference Paper

Algorithmic verification of infinite-state systemsBOUAJJANI, Ahmed.Theoretical computer science. 2001, Vol 256, Num 1-2, issn 0304-3975, 169 p.Serial Issue

Verification of infinite-state systems by specialization of CLP programsFIORAVANTI, Fabio.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 762Conference Paper

Geometric condition measures and smoothness condition measures for closed convex sets and linear regularity of infinitely many closed convex setsHU, H.Journal of optimization theory and applications. 2005, Vol 126, Num 2, pp 287-308, issn 0022-3239, 22 p.Article

Symbolic determinisation of extended automata = Déterminisation symbolique d'automates étendusJéron, Thierry; Marchand, Hervé; Rusu, Vlad et al.Publication interne - IRISA. 2005, issn 1166-8687, 1Vol, 24 p.Report

Transfer functions for infinite-dimensional systemsZWART, Hans.Systems & control letters. 2004, Vol 52, Num 3-4, pp 247-255, issn 0167-6911, 9 p.Article

Reconstructing infinite objectsRAUTENBACH, Dieter.Discrete mathematics. 2002, Vol 250, Num 1-3, pp 273-279, issn 0012-365XArticle

Fejer methods for solving infinite systems of convex inequalitiesPATSKO, Sergey V.Yugoslav journal of operations research. 2001, Vol 11, Num 2, pp 131-150, issn 0354-0243, 20 p.Article

Das Unendliche in mathematischer und philosophischer Sicht = Mathematical and philosophical aspects of infinityNOLLAU, V.Wissenschaftliche Zeitschrift der Technischen Universität Dresden. 1996, Vol 45, Num 6, pp 31-36, issn 0043-6925Article

Parametric infinite element for seepage analysisHONJO, Y; POKHAREL, G.International journal for numerical and analytical methods in geomechanics. 1993, Vol 17, Num 1, pp 45-66, issn 0363-9061Article

Special Issue on Structured and Infinite Systems of Linear EquationsDEWILDE, Patrick; OLSHEVSKY, Vadim; SAYED, Ali H et al.Linear algebra and its applications. 2002, Vol 343-44, issn 0024-3795, 481 p.Serial Issue

Myhill-Nerode relations on automatic systems and the completeness of Kleene algebraKOZEN, Dexter.Lecture notes in computer science. 2001, pp 27-38, issn 0302-9743, isbn 3-540-41695-1Conference Paper